-- Test missing =
    DEF def(X:nat, Y:nat):nat = 0	--missing =
    DEF MAIN:bool == true
